Predicate transformer semantics - PDFSEARCH.IO - Document Search Engine

Predicate transformer semantics
Results: 104

#	Item
21	Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-03-27 09:24:14 Mathematical logic Predicate transformer semantics Logic Transformer Function Interpretation Data-flow analysis The Transformers Mathematics Formal methods Program logic
22	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
23	technical . corresponclence On Nondeterministic Programs [] A group at the Naval Research Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 18:59:28 Grammar Predicate Semantics Dijkstra Predicate transformer semantics Logic Mathematical logic Mathematics
24	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
25	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
26	WP 0.8 WP Plug-in Manual Version 0.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:18 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
27	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
28	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
29	WP 0.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
30	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Hoare logic Frama-C Formal methods Lambert W function Program logic Predicate transformer semantics Software

UPDATE